Finally we prove that well-ordered set and real set both have ordered topological hereditary .
最后证明了良序集和实数集合具有序拓扑遗传性。